301. Database programming languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Database management ; Congresses. ; Programming languages (Electronic computers) ; Congresses. ; Datenbanksprache ; Kongress ; Lyon <2009> ; Datenbanksprache. ; swd. ;
302. Database programming languages )DBPL-4( : proceedings of the Fourth International Workshop on Database Programming Languages: Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993
پدیدآورنده : Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha )eds(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Data base management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
I585
1993
303. Database programming languages: 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005: revised selected papers
پدیدآورنده : Gavin Bierman, Christoph Koch ]eds.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
I5847
2005
304. Database programming languages : 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings
پدیدآورنده : Sophie Cluet, Rick Hull, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1369
305. Database programming languages : 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers
پدیدآورنده : Giorgio Ghelli, Gosta Grahne )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2397
306. Database programming languages: 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
.
I585
2009
307. Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers
پدیدآورنده : Georg Lausen, Dan Suciu )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2921
308. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
پدیدآورنده : Joao Leite... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
3476
309. Declarative agent languages and technologies V
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;
310. Declarative agent languages and technologies V
پدیدآورنده : / Matteo Baldoni ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007
311. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده : Joao Leite...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
312. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
313. Definition du language algorithmique algol 68
پدیدآورنده : Buffet, J
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
314. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
315. Denotational semantics :
پدیدآورنده : David A. Schmidt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
316. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
317. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
پدیدآورنده : edited by John H. Williams and David A. Fisher
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
54
318. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده : edited by John H. Williams and David A. Fisher
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
54
319. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده : edited by John H. Williams and David A. Fisher
موضوع : Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
320. Design concepts in programming languages
پدیدآورنده : / Franklyn Turbak and David Gifford
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
T845
,
2008
